21. Automated Deduction – CADE-25
Author: \ Amy P. Felty , Aart Middeldorp (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگره‌ها
Classification :
QA
76
.
9
.
A96
2015
E-Book
,
22. Beyond first order model theory
Author: \ edited by Jose Iovino.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Model theory.,Logic, Symbolic and mathematical., نظریه مدل,منطق ریاضی
Classification :
QA9
.
7
.
I587
2017
E-book
,
23. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
Author: \ Richard L. Epstein, Walter A. Carnielli
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: توابع محاسبه‌پذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
Classification :
QA
9
,.
59
.
E67
24. Discovering Patterns in Mathematics and Poetry
Author: \ Marcia Birken and Anne C. Coon
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Mathematics and literature,Logic, Symbolic and mathematical,Word problems (Mathematics),منطق ریاضی,مساله واژه (ریاضیات)
Classification :
E-Book
,
25. Elementary logic
Author: / Benson Mates
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: منطق ریاضی,Logic , Symbolic and mathematical
Classification :
BC135
.
M37
26. Elements of Logical Reasoning
Author: / Jan von Plato
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
Classification :
QA9
.
V66
2013
27. Encyclopedia of Ethics and Logic
Author: / edited by John H. Piet and Ayodhya Prasad
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: منطق -- دای‍ره ال‍م‍ع‍ارف‍ه‍ا,اخ‍لاق -- دای‍ره ال‍م‍ع‍ارف‍ه‍ا,منطق ریاضی,ام‍ورج‍ن‍س‍ی -- اخ‍لاق,اخ‍لاق -- ت‍اری‍خ,زبان و منطق
Classification :
BC
۹
/
ال
ف
۸۴ ۱۳۷۹
28. Equality,Resemblancc,and Order
Author: /Ju. A. Schreider
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: منطق ریاضی
Classification :
QA
۹
/
ش
۴
الف
۷ ۱۳۵۴
29. Essays on Frege
Author: / edited by E. D. Klemke.
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: ف‍رگ,Frege,، گ‍ات‍لاب,, Gottlob,، ۱۸۴۸ - ۱۹۲۵م.,منطق ریاضی
Classification :
QA
۲۹
/
ف
۴
ک
۸ ۱۳۴۷
30. Essays on the Foundations of Mathematics
Author: \ Stephen Pollard, editor.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
Classification :
QA
8
.
6
.
E8
2010
E-Book
,
31. Frege's Theorem
Author: \ Richard G. Heck, Jr
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Frege, Gottlob, -- 1848-1925. ,Arithmetic -- Philosophy.,Logic, Symbolic and mathematical.,ف‍رگ، گ‍ات‍لاب،۱۹۲۵-۱۸۴۸ م.,حساب -- فلسفه,منطق ریاضی
Classification :
B3245
.
F24
H43
2011
32. From Mathematics to Philosophy
Author: \ Hao Wang
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Knowledge, Theory of,Logic, symbolic and mathematical,شناخت (فلسفه),منطق ریاضی,a03,a04,a03,a04
Classification :
E-Book
,
33. Frontiers of Combining Systems
Author: \ Carsten Lutz, Silvio Ranise (eds.).
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a01,a01
Classification :
QA
9
.
A1
F7
2015
E-Book
,
34. Fundamentals of Critical Argumentation
Author: / Douglas N. Walton
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Reasoning,Argumentation,PHILOSOPHY -- Logic,استدلال,حجت (منطق),منطق ریاضی - فلسفه
Classification :
BF463
.
W32
2006
35. Fundamentals of symbolic logic
Author: / Alice Ambrose and Morris Lazerowitz.,ام‍ب‍روز,Ambrose
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: منطق ریاضی
Classification :
BC
۱۳۵
/
الف
۸
ف
۲ ۱۳۴۱
36. Fuzzy Logic and Mathematics
Author: \ Radim Bělohlávek, Joseph W. Dauben, and George J. Klir
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Fuzzy logic,Logic, symbolic and mathematical,منطق فازی,منطق ریاضی,a03,a04,a03,a04
Classification :
E-Book
,
37. Handbook of Logic in Computer Science
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Logic, Symbolic and mathematical,علوم کامپیوتر ,منطق ریاضی
Classification :
E-Book
,
38. Handbook of Spatial Logics
Author: \ Edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical,منطق ریاضی
Classification :
E-Book
,
39. Handbook of logic and language
Author: / Johan Van Benthem, Alice ter Meulen.
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: پردازش زبان طبیعی,منطق ریاضی,معنی‌شناسی,-- دستنامه‌ها,-- دستنامه‌ها,-- دستنامه‌ها
Classification :
QA
۷۶
/
۹
/
پ
۴۴
ھ
۹ ۱۳۹۰
40. Interactive Theorem Proving
Author: \ Christian Urban, Xingyuan Zhang (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a03,a03
Classification :
QA
76
.
9
.
A96
E-Book
,
